Appendix H: Developments relevant for building a semantic collection of mathematical theorems The Sloan Foundation funded eCF project was an exploratory project devoted to collecting and semantically representing mathema

Source URL: www.wolframfoundation.org

• Software
• Application software
• Mathematical software
• Mathematics
• Mathematical notation
• Theorem
• Applied mathematics
• Areas of mathematics
• Mathematician
• Wolfram Mathematica
• Symbolic computation
• Mathematical proof

List of Participants • Mr. Dimitris Andresas CAMTP - Center for Applied Mathematics and Theoretical Physics University of Maribor Krekova 2 SI-2000 Maribor

Source URL: www.camtp.uni-mb.si

Think again? The amount of mental simulation tracks uncertainty in the outcome Jessica B. Hamrick1 (), Kevin A. Smith2 (), Thomas L. Griffiths1 (tom ), & Edward

Source URL: cocosci.berkeley.edu

• Academia
• Scientific modeling
• Operations research
• Simulation
• Computer simulation
• Sequential probability ratio test
• Psychology
• Applied mathematics
• Statistics

Microsoft Word - EvolvingNeuralNPCswithLayeredInfluenceMap_4장짜리_-1123.docx

Source URL: www.csse.uwa.edu.au

• Computational neuroscience
• Applied mathematics
• Academia
• Artificial intelligence
• Cybernetics
• Formal sciences
• Artificial neural network
• Mathematical psychology
• Computational intelligence
• Real-time strategy
• Institute of Electrical and Electronics Engineers
• Strategy game

Risk Aggregation with Dependence Uncertainty Carole Bernard∗, Xiao Jiang† and Ruodu Wang‡ November 2013§ Abstract Risk aggregation with dependence uncertainty refers to the sum of individual risks with

Source URL: sas.uwaterloo.ca

• Actuarial science
• Financial risk
• Independence
• Applied mathematics
• Mathematical analysis
• Economy
• Mathematical finance
• Convex analysis
• Copula
• Coherent risk measure
• Convex function
• Comonotonicity

SIAM J. OPTIM. Vol. 16, No. 2, pp. 490–514 c 2005 Society for Industrial and Applied Mathematics 

Source URL: homepages.cwi.nl

Applied Mathematics and Computation±124 www.elsevier.nl/locate/amc On the approximation of real rational functions via mixed-integer linear programming

Source URL: www.papamarkos.gr

Amitabh Basu Department of Applied Mathematics and Statistics 100 Whitehead Hall 3400 N. Charles St. Baltimore, MD 21218

Source URL: www.ams.jhu.edu

PDF Document

Source URL: www.maml.ie

• Mathematical finance
• Economy
• Actuarial science
• Financial risk
• Valuation
• Applied mathematics
• Finance
• Technical analysis
• Volatility
• Risk
• Quantitative analyst

A Machine Learning Approach to Visual Perception of Forest Trails for Mobile Robots

Source URL: rpg.ifi.uzh.ch

• Computational neuroscience
• Applied mathematics
• Formal sciences
• Cybernetics
• Cognitive science
• Academia
• Artificial neural networks
• Computer vision
• Deep learning
• Robotics
• Convolutional neural network
• Optical flow